<div class="menu">
<a class="myButton" href="index.php">Home</a>&nbsp;
<a class="myButton" href="tournaments.php">Tournaments</a>&nbsp;
<a class="myButton" href="all.php">All Players</a>&nbsp;
<a class="myButton" href="email-rating.htm">Correspondence Rating</a>&nbsp;
<a class="myButton" href="system.html">System</a>&nbsp;
<a class="myButton" href="log.txt">Log</a>&nbsp;
</div>

<div class="menu2">
Player Lookup: <input id="search" type="text" class="textinput" />
</div>

<script type="text/javascript">
$(function() 
{
    $("#search").playerSearch(function(resp){
        window.location.href = "player.php?" + $.param({id : resp.player_id});
        });
    
});
</script>